public class X01c {

          /*****************************************
           *
           * Test header/footer.
           */
          void foo() {
          }
}
